Software Hazard and Safety Analysis
نویسنده
چکیده
Safety is a system property and software, of itself, cannot be safe or unsafe. However software has a major influence on safety in many modern systems, e.g. aircraft and engine controls, railway signalling, and medical equipment. The paper outlines the principles of system hazard and safety analysis, and briefly describes work on adapting classical hazard and safety analysis techniques to apply to software. It then briefly discusses the role of formal analysis in software hazard and safety assessment, indicating both the state of practice and the aims of some ongoing research projects. Note: this paper is provided to support a tutorial on software hazard and safety analysis, and is not intended to be a definitive treatment of the
منابع مشابه
SW-STPA: A Software Hazard Analysis Technique based on STPA
As the uses of software are various, software is germane to human's life and property. Thus, the importance of software safety increases rapidly and many hazard analysis techniques are used for safety of system/software. STAMP/STPA is an efficient hazard analysis technique for large and complex system. But subject of STAMP/STPA is system, not software. This difference of subjects makes difficul...
متن کاملRelationship between Safety Investment and Safety Performance Indices Considering the Project Hazard Level in Construction Industry
Introduction: Each country needs to preserve its human capital through preventing accidents for its development. Therefore, this study is carried out to study the relationship between safety investments and safety performance indices considering the interactive effect of the project hazard level in construction industry. Material and Methods: This study was conducted using multiple case studie...
متن کاملComponent-based HazOp and Fault Tree Analysis in Developing Embedded Real-Time Systems with UML
Hazard and Operability (HazOp) and Fault Tree Analyses (FTA) are embedded into UML component models. The latter are constructed by employing UML's extension mechanisms in conjunction with component-based software techniques. Taking an application's safety-related requirements into consideration, the elements of HazOp and FTA are defined as component attributes, and assigned to a UML component m...
متن کاملThe Role and Quality of Software Safety in the NASA Constellation Program
For NASA quality assurance managers, obtaining an accurate, program-wide picture of software safety risk is difficult across the multiple, independently-developing systems in the NASA Constellation program. In this study, we create metrics that leverage one source of safety information, hazard analysis, to provide NASA quality assurance managers with information regarding the ongoing state of s...
متن کاملSafety-Critical Software: Status Report and Annotated Bibliography
Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written In the literature with respect to system and software safety. This repo~l sum;-,;A& .es some of that literature and outlines the development of saf,. criticai zcw,vare. Techniques for hazard identification and analysis are discussed. 'Further, techniques for the development of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002